<html>
	<head>
		<title>calculus-test</title>
<link href="../docs-assets/Breadcrumbs.css" rel="stylesheet" rev="stylesheet" type="text/css">
		<meta name="viewport" content="width=device-width initial-scale=1">
		<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
		<meta http-equiv="Content-Language" content="en-gb">

<link href="../docs-assets/Contents.css" rel="stylesheet" rev="stylesheet" type="text/css">
<link href="../docs-assets/Progress.css" rel="stylesheet" rev="stylesheet" type="text/css">
<link href="../docs-assets/Navigation.css" rel="stylesheet" rev="stylesheet" type="text/css">
<link href="../docs-assets/Fonts.css" rel="stylesheet" rev="stylesheet" type="text/css">
<link href="../docs-assets/Base.css" rel="stylesheet" rev="stylesheet" type="text/css">
		
	</head>
	<body class="commentary-font">
		<nav role="navigation">
		<h1><a href="../index.html"><img src="../docs-assets/Inform.png" height=72> </a></h1>
<ul><li><a href="../index.html">home</a></li>
</ul><h2>Compiler</h2><ul>
<li><a href="../structure.html">structure</a></li>
<li><a href="../inbuildn.html">inbuild</a></li>
<li><a href="../inform7n.html">inform7</a></li>
<li><a href="../intern.html">inter</a></li>
<li><a href="../services.html">services</a></li>
<li><a href="../secrets.html">secrets</a></li>
</ul><h2>Other Tools</h2><ul>
<li><a href="../inblorbn.html">inblorb</a></li>
<li><a href="../inform6.html">inform6</a></li>
<li><a href="../inpolicyn.html">inpolicy</a></li>
</ul><h2>Resources</h2><ul>
<li><a href="../extensions.html">extensions</a></li>
<li><a href="../kits.html">kits</a></li>
</ul><h2>Repository</h2><ul>
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=0> github</a></li>
</ul><h2>Related Projects</h2><ul>
<li><a href="https://github.com/ganelson/inweb"><img src="../docs-assets/github.png" height=0> inweb</a></li>
<li><a href="https://github.com/ganelson/intest"><img src="../docs-assets/github.png" height=0> intest</a></li>
</ul>
		</nav>
		<main role="main">
		<ul class="crumbs"><li><a href="../index.html">Home</a></li><li><a href="../services.html">Services</a></li><li><b>calculus-test</b></li></ul>
		<p class="purpose">Unit tests for the calculus module. This is version 1.</p>
		<hr>
		<div class="contentspage">
			<ul class="chapterlist">
				<li>
					<p class="chapterentry"><a name="1"></a>
						<span class="chaptertitle">Chapter 1: Scaffolding</span></p>
					<ul class="sectionlist">
						<li>
							<p class="sectionentry"><a href="1-pc.html">
								<spon class="sectiontitle">Program Control</span></a> -
							<span class="sectionpurpose">What shall we test?</span></p>
						</li>
						<li>
							<p class="sectionentry"><a href="1-dcl.html">
								<spon class="sectiontitle">Declarations</span></a> -
							<span class="sectionpurpose">Reading declarations from a file.</span></p>
						</li>
					</ul>
				</li>
			</ul>
		<hr>
		<p class="purpose">This program also incorporates the following web(s) as module(s):</p>
		<ul class="chapterlist">
			<li>
				<p class="moduleentry">
					<a href="../calculus-module/index.html"><spon class="sectiontitle">services/calculus</span></a>
					- <span class="sectionpurpose">Storing and simplifying propositions in predicate calculus.</span></p>
			</li>
			<li>
				<p class="moduleentry">
					<a href="../inflections-module/index.html"><spon class="sectiontitle">services/inflections</span></a>
					- <span class="sectionpurpose">A library for adapting words or short phrases for linguistic purposes.</span></p>
			</li>
			<li>
				<p class="moduleentry">
					<a href="../kinds-module/index.html"><spon class="sectiontitle">services/kinds</span></a>
					- <span class="sectionpurpose">The type system used by Inform.</span></p>
			</li>
			<li>
				<p class="moduleentry">
					<a href="../lexicon-module/index.html"><spon class="sectiontitle">services/lexicon</span></a>
					- <span class="sectionpurpose">A library of code to assign and retrieve meanings for excerpts of text.</span></p>
			</li>
			<li>
				<p class="moduleentry">
					<a href="../linguistics-module/index.html"><spon class="sectiontitle">services/linguistics</span></a>
					- <span class="sectionpurpose">A library of code to create grammatical categories of vocabulary.</span></p>
			</li>
			<li>
				<p class="moduleentry">
					<a href="../syntax-module/index.html"><spon class="sectiontitle">services/syntax</span></a>
					- <span class="sectionpurpose">A library of code to build a parse tree and break text into sentences.</span></p>
			</li>
			<li>
				<p class="moduleentry">
					<a href="../words-module/index.html"><spon class="sectiontitle">services/words</span></a>
					- <span class="sectionpurpose">A library of code for reading natural language into a stream of words.</span></p>
			</li>
			<li>
				<p class="moduleentry">
					<a href="../foundation/index.html"><spon class="sectiontitle">inweb/foundation</span></a>
					- <span class="sectionpurpose">A library of utility functions for command-line tools.</span></p>
			</li>
		</ul>
		</div>
		<hr>
		<p class="purpose">Powered by <a href="https://github.com/ganelson/inweb">Inweb</a>.</p>
		</main>
	</body>
</html>

